In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
61	GEOGRAPHIC INFORMATION PROCESSING IN THE PROBE DATABASE SYSTEM* Frank Manola, Jack Orenstem, Umeshwar Dayal Computer Corporation of America Four Cambridge Center Cambridge, Massachusetts 02142 Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:26:32 Object-oriented programming Database management systems Database models Data model Database Geographic information system Object database Spatial query Solid modeling Object Polygon Rasterisation
62	2016 CyberGIS Curriculum Workshop Intentionality and Reflexivity in CyberGIS: Data Power, Political Economy, and Programming Dillon Mahmoudi Toulan School of Urban Studies and Planning, Portland State University Add to Reading List Source URL: cybergis.illinois.edu Language: English - Date: 2016-03-18 18:27:35 Cartography Geographic data and information Web mapping Geography Geographic information system CyberGIS Spatial analysis Leaflet Geovisualization GeoJSON Esri Vector tiles
63	Lecture 32: Introduction to MPI I/O William Gropp www.cs.illinois.edu/~wgropp Parallel I/O in MPI Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-04-21 17:04:17 Parallel computing C POSIX library System calls Application programming interfaces Message Passing Interface Write Lis Stat MPI
64	CSE341: Programming Languages Winter 2013 Unit 1 Summary Standard Description: This summary covers roughly the same material as class and recitation section. It can help to read about the material in a narrative style an Add to Reading List Source URL: courses.cs.washington.edu Language: English - Date: 2013-01-17 14:01:34 Functional languages Procedural programming languages Subroutines Functional programming Type theory ML Monad Scope Recursion Standard ML Nested function HindleyMilner type system
65	Professional Master’s in GIS & Web Map Programming Dept. of Geography Name (Last, First): Birthdate: Add to Reading List Source URL: www.geography.wisc.edu Language: English - Date: 2015-11-17 16:58:05 Educational psychology Distance education Educational technology Information technology Geographic information system Question
66	Introduction Function casts Object casts Status and conclusions Towards Gradual Typing in Python Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:54 Object-oriented programming languages High-level programming languages Scripting languages Cross-platform software Procedural programming languages Gradual typing Jython Type system Python D Go
67	Using the SAG’s online event booking system The following details will set out how you can best use our new online event registration system to find out what is coming up in the Education Calendar and how to reserve y Add to Reading List Source URL: www.sag.org.au Language: English - Date: 2015-08-24 20:28:53 Payment systems Webmail Computer programming Event Subroutines Email EWay Outlook.com Credit card
68	System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2008-10-30 19:06:51 Automated theorem proving Logic in computer science Constraint programming Logic programming Rules of inference Resolution Boolean satisfiability problem Clause Small clause Reasoning system English relative clauses Unit propagation
69	Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Programming paradigms Programming language implementation Functional languages Evaluation strategy Partial evaluation Type system Compiler Prolog Logic programming XPL Interpreter Generic programming
70	SPECIAL SECTION DISTRIBUTED PROGRAMMING IN ARGU!S Argus-a programming language and system developed to support the implementation and execution of distributed programs-provides mechanisms that help programmers cope with Add to Reading List Source URL: css.csail.mit.edu Language: English - Date: 2014-12-08 14:33:01 Transaction processing Concurrency control Data management Databases Unix signal Lock Linearizability Hash table File locking Serializability Monitor Two-phase commit protocol

UPDATE